Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
201	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
202	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
203	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
204	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
205	ZU064-05-FPR main 29 April 2011 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-04-29 09:44:18 Theoretical computer science Curry–Howard correspondence Dynamical system Polymorphism Parametricity Type system Denotational semantics Type theory Software engineering Programming language theory
206	Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-10-21 13:11:35 Abstract data types Functional programming Procedural programming languages Concurrent Haskell Data types Monad C file input/output Denotational semantics Scheduling Software engineering Computing Computer programming
207	The Declaratron, semantic specification for scientific computation using MathML Dave Murray-Rust1 and Peter Murray-Rust2 1 [removed], Department of Informatics, University of Edinburgh Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:54:02 Mathematical software Mathematical markup languages MathML OpenMath Chemical Markup Language Mathematical notation Denotational semantics Mathematica XML Computing Markup languages Science
208	Joachim Niehren Functional Computation as Concurrent Computation RR-95-1 Research Repo Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:49 Models of computation Software engineering Lambda calculus Programming paradigms Calculus Actor model Denotational semantics Functional programming Type theory Theoretical computer science Logic in computer science Computing
209	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics
210	Using Separation of Concerns for Embedded Systems Design ∗ Ethan K. Jackson Janos Sztipanovits Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:30:56 Electronics Hardware description languages Computer architecture Concurrent computing Computer data Dataflow Denotational semantics SIGNAL Topology Computing Models of computation Software engineering

UPDATE